- Schlussregel (die)
- règle d'inférence
Lexique philosophique allemand-français. D. Seron. 2004.
Schlussregel (die)
Regardez d'autres dictionnaires:
Die Grundlagen der Arithmetik — (1884) mit dem Untertitel „Eine logisch mathematische Untersuchung über den Begriff der Zahl“ ist eines der Hauptwerke Gottlob Freges. Thema des Buches ist die Erläuterung des Begriffs „Zahl“ bzw. „Anzahl“. Anhand dieses Grundbegriffs skizziert… … Deutsch Wikipedia
Die logische Form der Handlungsätze — Die logische Form der Handlungssätze (engl. Originaltitel The Logical Form of Action Sentences) ist ein Aufsatz des US amerikanischen Analytischen Philosophen Donald Davidson aus dem Bereich der Handlungstheorie (vgl. Ereignissemantik). Er wurde… … Deutsch Wikipedia
Die logische Form der Handlungssätze — (engl. Originaltitel The Logical Form of Action Sentences) ist ein Aufsatz des US amerikanischen Analytischen Philosophen Donald Davidson aus dem Bereich der Handlungstheorie (vgl. Ereignissemantik). Er wurde 1966 bei einem Kongress über The… … Deutsch Wikipedia
Schlussregel — Eine Schlussregel (oder Inferenzregel) bezeichnet eine Transformationsregel (Umformungsregel) in einem Kalkül der formalen Logik, d. h. eine syntaktische Regel, nach der es erlaubt ist, von bestehenden Ausdrücken einer formalen Sprache zu… … Deutsch Wikipedia
Schlussregel — Schlụss|re|gel, die (Logik): Regel für das logische Schließen. * * * Schlụss|re|gel, die (Logik): Regel für das logische Schließen … Universal-Lexikon
Hilbert-Kalkül — Hilbertkalküle sind axiomatische Kalküle für die klassische Aussagenlogik oder die Prädikatenlogik erster Stufe, das heißt Kalküle, in denen sich Theoreme und Argumente der Aussagenlogik oder der Prädikatenlogik erster Stufe herleiten lassen. Die … Deutsch Wikipedia
Hilbertkalkül — Hilbertkalküle sind axiomatische Kalküle für die klassische Aussagenlogik oder die Prädikatenlogik erster Stufe, das heißt Kalküle, in denen sich Theoreme und Argumente der Aussagenlogik oder der Prädikatenlogik erster Stufe herleiten lassen. Die … Deutsch Wikipedia
Dictum de omni et nullo — Dịctum de ọmni et nụllo [lateinisch »Aussage über alles und nichts«], Logik: Schlussregel, die oft als das Prinzip des Syllogismus angesehen wird: Jede bejahende oder verneinende Aussage, die für einen höheren Begriff (Klasse, Gattung, Art)… … Universal-Lexikon
True Wert — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… … Deutsch Wikipedia
Urteilslogik — Die Aussagenlogik (veraltet Urteilslogik) ist der Bereich der Logik, der sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen semantisch ein Wahrheitswert zugeordnet wird.… … Deutsch Wikipedia
Aussagenlogik — Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird. In der klassischen Aussagenlogik … Deutsch Wikipedia
